Extended Batches Petri Nets Based System for Road Traffic Management in WSNs

نویسندگان

  • Youness Riouali
  • Laila Benhlima
  • Slimane Bah
چکیده

One of the most critical issues in modern cities is transportation management. Issues that are encountered in this regard, such as traffic congestion, high accidents rates and air pollution etc., have pushed the use of Intelligent Transportation System (ITS) technologies in order to facilitate the traffic management. Seen in this perspective, this paper brings forward a road traffic management system based on wireless sensor networks; it introduces the functional and deployment architecture of the system and focuses on the analysis component that uses a new extension of batches Petri nets for modeling road traffic flow. A real world implementation of visualization and data analysis components were carried out.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extension of Batches Petri Nets by Bi-parts Batch Places

This paper proposes an extension of Batches Petri Nets by a new definition of the batch place called Bi-parts Batch place (BBplace). The flow-density equations that govern the dynamics of controllable batches inside a BB-place is now defined by a triangular relation. To take into account controlled events, the behaviors of batches are discussed according to a variation of speeds and of maximum ...

متن کامل

Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net

    Discrete event system,   Supervisory control,   Petri Net, Constraint   This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Sensor and Actuator Networks

دوره 6  شماره 

صفحات  -

تاریخ انتشار 2017